#ifndef __SERVICE_H__
#define __SERVICE_H__

#include "device.h"
#include "os_api.h"

device_t *console_get_device(void);
device_t *console_set_device(const char *name);

#endif
